home *** CD-ROM | disk | FTP | other *** search
Wrap
PROLOG Etymology: PROLOG = PROgramming In LOGic FAQs: Jamie Andrews: ftp://rtfm.mit.edu/pub/usenet/news.answers/prolog/ http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.faq.html http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/faq/faq.html Mark Kantrowitz : http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part1.html http://www.lib.ox.ac.uk/internet/news/faq/archive/prolog.resource-guide.part2.html 1. JB-PROLOG Etymology: JB-PROLOG = Jan Burse's PROLOG MAC NAME: JB-Prolog VERSION: 2.1#2 README: "JB-Prolog 2.1 is a slim and powerful prolog interpreter. It is currently available for the MacIntosh where it comes with a programming environment described in the User's Manual." AUTHORS: Jan Burse COPYRIGHT: (c) 1994 XLOG, Jan Burse INTERNET SITES: http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/jbprolog/ ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/ 2. OPEN PROLOG MAC NAME: Open Prolog VERSION: 1.0d42 README: "Open Prolog is an implementation of Edinburgh-syntax Prolog. .... Open Prolog supports most of the features of DEC Prolog or C-Prolog, including Definite Clause Grammars. The 'logical' assert and retract semantics of Lindholm & O'Keefe are implemented." AUTHORS: Michael Brady COPYRIGHT: (c) 1986-93 Michael Brady INTERNET SITES: ftp://grattan.cs.tcd.ie/pub/languages/open-prolog/ ftp://grattan.cs.tcd.ie/pub/mac/open-prolog/ ftp://ftp.luth.se/pub/mac/developer/lang/prolog/ http://multivac.ludd.luth.se/pub/mac/developer/lang/prolog/ ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/ ftp://ftp.uni-paderborn.de/mac/development/languages/ ftp://ftp.fu-berlin.de/mac/lang/Prolog/ ftp://pascal.zedat.fu-berlin.de/mac/lang/Prolog/ ftp://ftp.cs.tu-berlin.de/pub/mac/lang/Prolog/ http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/op/ Info-Mac UMich ftp://ftp.uwtc.washington.edu/pub/Mac/Programming/Languages/ Old versions: ftp://aisun1.ai.uga.edu/pub/prolog/ ftp://faui80.informatik.uni-erlangen.de/pub/prolog/ ftp://MacFTP.RZ.Uni-Augsburg.DE/pub/programming/ 3. MacProlog (Demo) TPM Etymology: TPM = Transparent Prolog Machine MAC NAME: MacProlog (Demo) TPM VERSION: MacProlog 3.5 TPM 1.11 README: "The version of MacPROLOG included here is a 1991 demo version. Being a demo version it has certain restrictions, but these do not affect anything you might need to do for this course." "A clear and consistent execution model of any programming language can lay the foundations not only for a good learning experience, but also for a smoother design/edit/run/debug cycle. The Transparent Prolog Machine was developed in attempt to construct precisely such a model for the logic programming language Prolog, based upon a notational extension of logic programming’s traditional AND/OR trees." AUTHORS: MacProlog: LPA TPM: Marc Eisenstadt Mike Brayshaw mac version: Fred Kwakkel COPYRIGHT: LPA MacPROLOG™ © 1984-1991, Logic Programming Associates, Ltd. (UK) TPM for Macintosh © 1991, The Open University (UK) INTERNET SITES: ftp://hcrl.open.ac.uk/pub/software/mac/ ftp://faui80.informatik.uni-erlangen.de/pub/prolog/ ftp://ai.uga.edu/pub/prolog/ http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/mac_pl/ Old versions: ftp://aisun1.ai.uga.edu/pub/prolog/ 4. Tricia Prolog Etymology: see * MAC NAME: Tricia VERSION: 0.9.5a31 README: - AUTHORS: Jonas Barklund Monika Danielsson Jan Gabrielsson Per Mildner Per-Eric Olsson Jan Wuensche COPYRIGHT: (c) 1989 - 1993 Computing Science Dept. Uppsala University, Uppsala,Sweden INTERNET SITES: ftp://ftp.csd.uu.se/pub/Tricia/Mac/ Info-Mac Old versions: ftp://ftp.csd.uu.se/pub/Tricia/Mac/ ftp://ftp.csd.uu.se/pub/Tricia/Mac/older/ ftp://lucy.ukc.ac.uk/pub/Toolkits/Mac/Symbolic/ ftp://ftp.uni-paderborn.de/mac/development/languages/ http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/tricia/v095/ http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/tricia/v09b/ ftp://archives.math.utk.edu/software/mac/progLanguages/UPMAIL_Prolog_0.9b/ ftp://archives.math.utk.edu/software/mac/logic/UPMAIL_Prolog_0.9b/ * Date: Wed, 28 Jun 1995 09:35:26 +0200 To: "Antreas P. Hatzipolakis" <xpolakis@athena.compulink.gr> From: Per.Mildner@CSD.UU.SE (Per Mildner) >I have a question about the name: >What is the etymology of TRICIA? It is from the book The Hitchhikers Guide (Tricia has been known as MacMillan as well). >By the way the same question about a swedish prog. language: >Kvikkalkul. I do not know, but kvik sounds like kvick which means fast/speedy and of course kalkul sound like kalkyl which is the same as calculus. Per Mildner Per.Mildner@CSD.UU.SE Computing Science Dept. http://www.csd.uu.se/~perm/ Uppsala University tel: +46 18 181049 Box 311, S-751 05 Uppsala,Sweden fax: +46 18 511925